You are here: irt.org | FOLDOC | inference engine
A program that infers new facts from known facts using inference rules. Commonly found as part of a Prolog interpreter, expert system or knowledge based system.
(1994-11-01)
Nearby terms: infant mortality « infeasible path « inference « inference engine » inference rule » infimum » infinite
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL